Foundational and Instrumental Design Theory

Design Research: Empirical, Foundational and Developmental Perspectives

Foundational Theory for Understanding Policy Routing Dynamics

In this paper we introduce a theory of policy routing dynamics based on fundamental axioms of routing update mechanisms. We develop a dynamic policy routing model (DPR) that extends the static formalism of the stable paths problem (introduced by Griffin et al.) with discrete synchronous time. DPR captures the propagation of path changes in any dynamic network irrespective of its time-varying to...

Programming language semantics in foundational type theory

languages --e.g., theoretical foundations, syntax, semantics, types, scope of Brief history of programming languages, Syntax, Semantics, Essentials, Paradigms Expression evaluation orders, Types, Recursion, Higher-order programming Programming Distributed Computing Systems: A Foundational Approach. type theory and the foundations of functional programming languages. Secondly, I would like to th...

Foundational Theory of Software Component Reliability

Promise of Software Components In engineering design, the idea of aggregating standardized components to create a complex system has allowed engineers to create better systems more easily. Components are described in a handbook, where each has a “data sheet” entry. Its data sheet describes what a component does, and equally important, it gives constraints that allow the system designer to decid...

On "Technomethodology": Foundational Relationships Between Ethnomethodology and System Design

Over the past ten years, the use of sociological methods and sociological reasoning have become more prominent in the analysis and design of interactive systems. For a variety of reasons, one form of sociological enquiry, ethnomethodology, has become something of a favoured approach. Our goal in this paper is to investigate the consequences of approaching system design from the ethnomethodologi...